module

public import Mathlib.Analysis.Normed.Module.ENormedSpace

deprecated_module (since := "2025-11-21")
